bitkeeper revision 1.122.1.15 (3e71afadv9l-u2tI8SHy7dEiub2gNg)
authoriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Fri, 14 Mar 2003 10:32:13 +0000 (10:32 +0000)
committeriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Fri, 14 Mar 2003 10:32:13 +0000 (10:32 +0000)
added "mynewdom" script. Horribly CL site specific, but damn useful.

.rootkeys
tools/domain_builder/mynewdom [new file with mode: 0755]

index dc1f07ed2777791661d60a400d15d1e47f445c1e..5873bd420657fa1dc09787849a13d8aa2b6be1e2 100644 (file)
--- a/.rootkeys
+++ b/.rootkeys
 3e4d0046EKs06fY0CWDEgZQcn7DYUg tools/domain_builder/dom_kill.c
 3e4d0046aPbGiRTtdWxqY5b3ytWurA tools/domain_builder/hypervisor_defs.h
 3e4d00468aE86IfyjfrJwYoxzM7pAw tools/domain_builder/mem_defs.h
+3e71afadoAI0VvAGKebLpToVQxUKfQ tools/domain_builder/mynewdom
 3e4d0046VHhXwFuG5FK34AVxqd5A_A tools/domain_builder/newdom
 3e4d0046IBzDIeaMbQB-e2QB2ahbig tools/domain_builder/vifinit
 3ddb79bcbOVHh38VJzc97-JEGD4dJQ xen/Makefile
diff --git a/tools/domain_builder/mynewdom b/tools/domain_builder/mynewdom
new file mode 100755 (executable)
index 0000000..fd5d876
--- /dev/null
@@ -0,0 +1,52 @@
+#!/bin/sh
+
+# mynewdom <size> <extra args>
+
+SIZE=${1:?"size missing"}
+
+shift;
+
+ARGS="$*"
+
+IMAGE=../../../xenolinux-2.4.21-pre4/arch/xeno/boot/image
+
+
+LASTDOM=`/bin/ls /proc/xeno/ | grep -v cmd | cut -c4- | sort -rn | head -1`
+DOM=$[LASTDOM+1]
+
+echo Domain ${DOM} looks free
+
+ADDR=`/sbin/ifconfig eth0 | grep inet.addr | sed -e 's/.*inet addr:\([0-9.]*\) .*/\1/'`
+LO=`echo $ADDR | sed -e 's/[0-9]\+\.[0-9]\+\.[0-9]\+\.\([0-9]\+\)/\1/'`
+HI=`echo $ADDR | sed -e 's/\([0-9]\+\.[0-9]\+\.[0-9]\+\)\.[0-9]\+/\1/'`
+NEWADDR=$HI.$[LO+DOM]
+
+echo New IP address : ${NEWADDR}
+
+CMDLINE=`cat /proc/cmdline`
+case $CMDLINE in
+*root=/dev/nfs*)
+ROOT_DIR=`echo $CMDLINE | sed -e 's,.*nfsroot=\([^ ]*\).*,\1,'`
+ROOT_PATH=`echo $ROOT_DIR | sed -e 's!^\(.*\)[0-9]\+$!\1!'`
+ROOT_NUM=`echo $ROOT_DIR | sed -e 's!^.*\([0-9]\+\)$!\1!'`
+NEWROOT_DEV="root=/dev/nfs nfsroot=${ROOT_PATH}$[ROOT_NUM+DOM]"
+;;
+*root=/dev/[hs]d[abcd][0-9]*|*root=/dev/x[hs]d[abcd][0-9]*)
+ROOT_DEV=`echo $CMDLINE | sed -e 's!^.*root=\(/dev/[x]*[hs]da[0-9]\+\).*$!\1!'`
+ROOT_DISK=`echo $ROOT_DEV | sed -e 's!\(/dev/[x]\?[hs]d[a-z]\)[0-9]\+!\1!'`
+ROOT_PART=`echo $ROOT_DEV | sed -e 's!/dev/[x]\?[hs]d[a-z]\([0-9]\+\)!\1!'`
+NEWROOT_DEV="root=${ROOT_DISK}$[ROOT_PART+DOM] ro"
+;;
+*)
+echo Could not determine root from /proc/cmdline
+exit
+;;
+esac
+
+echo New root arguments : ${NEWROOT_DEV}
+
+echo ./newdom ${SIZE} ${IMAGE} ${NEWADDR} ${NEWROOT_DEV} ${ARGS}
+
+./newdom ${SIZE} ${IMAGE} ${NEWADDR} ${NEWROOT_DEV} ${ARGS}
+
+